例文
- もっと例文: 1 2 3 4 5 6
- Algebraic data types are highly-suited to implementing abstract syntax.
- A general algebraic data type is a possibly recursive sum type of product types.
- For example, the following algebraic data type describes a simple language representing numerical expressions:
- Operations on algebraic data types can be defined by using pattern matching to retrieve the arguments.
- One way this can be avoided is by creating one algebraic data type for each use.